...自动检定 自准直仪 [gap=1380]e grating angular displacement sensor;programmable multi-axes controller(PMAC);automatic verification;autocollimator ...
基于20个网页-相关网页
...源期刊网 关键词:安全 协议; 自动化验证; 基本搜索; 扩展搜索 [gap=1061]Key words:security protocol; automatic verification; basic search; extended search ...
基于16个网页-相关网页
automatic verification system 自动验证系统
automatic verification device 自动检定装置
oscilloscope automatic verification 示波器自动检定
Automatic verification & calibration 自动检定与校准
web application automatic verification Web应用自动化验证
DC Bridges automatic verification system 直流电桥检定系统
automatic program verification system [计] 自动程序验证系统
automatic credit card verification service 自动信用卡验证业务
automatic software verification 自动化软件验证
This paper presents automatic verification techniques for railway systems.
研究铁路系统的自动验证技术。
Automatic verification of hyponymy relations is a basic problem in knowledge acquisition from text.
上下位关系的自动验证是知识获取中的一个关键问题。
Then it is in great need of the formal technique of automatic verification to solve these problems.
因此,系统需要一种能较好解决这些问题的自动规范验证技术。
应用推荐